Analysis of Architectures using Constraint{Based Types
نویسنده
چکیده
Constraint{based types provide a formal foundation for many varieties of architectural analysis. A software architecture, typically deened using an Architecture Deenition Language (ADL), exposes the overall structure of a complex system in a way that allows validation and computation of overall system properties. We argue that the HM(X) type system can be used to implement many analyses in a simple and elegant way. HM(X) uses an ex-tensible constraint subsystem: given a user-deened syntax and semantics (via a constraint solver) for an analysis domain, the HM(X) type system infers system-wide properties from the architectural deenition. The core inference engine is thus extended to diierent forms of analysis by using diierent constraint solvers. We demonstrate our ideas by constructing three types of analysis built on top of HM(X): unit veriication, security veriication, and delay analysis. Finally, we demonstrate the use of HM(X) for analysis of dynamic architectures or higher-order architectural deenitions.
منابع مشابه
Improving the quality of hospital services using the QFD approach and integration with kano analysis under budget constraint
Background and Objectives: One of the main concerns of hospital managers is their ability in improving their organization's performance. The use of quality management and decision-making techniques facilitates managers to achieve this goal. In this research, the corrective activities to increase the quality of hospital services are determined and selected using an integration o...
متن کاملControl of Engineering Properties of Asphalt Concrete Based on Permanent Deformation Constraint of Subgrade at Tropical Zones in Iran (TECHNICAL NOTE)
The permanent deformation pavement of roads and streets at tropical zones Abstract (if layers are sufficiently compacted) is due to increase of asphalt layers temperature and consequential decrease of modulus of elasticity. Therefore, the asphalt mixture moves aside of the wheels of heavy vehicles and cause permanent deformations without volume variation. On the other hand, if the asphalt layer...
متن کاملEvaluating the effect of using biophilic design and architecture strategies on the improvement of physical and mental health indicators of patients admitted to selected hospitals from the perspective of architectures, patients and patiens’ companions
Introduction: The revolution in hospital design is called biophilic design; because the application of biophilic design in hospitals is one of the cornerstones of the humanization of health centers and hospitals. In this regard, the aim of this study was to Evaluating the effect of using biophilic design and architecture strategies on the improvement of physical and mental health indicators ...
متن کاملA Chance Constraint Approach to Multi Response Optimization Based on a Network Data Envelopment Analysis
In this paper, a novel approach for multi response optimization is presented. In the proposed approach, response variables in treatments combination occur with a certain probability. Moreover, we assume that each treatment has a network style. Because of the probabilistic nature of treatment combination, the proposed approach can compute the efficiency of each treatment under the desirable reli...
متن کاملSTRUCTURAL SYSTEM RELIABILITY-BASED OPTIMIZATION OF TRUSS STRUCTURES USING GENETIC ALGORITHM
Structural reliability theory allows structural engineers to take the random nature of structural parameters into account in the analysis and design of structures. The aim of this research is to develop a logical framework for system reliability analysis of truss structures and simultaneous size and geometry optimization of truss structures subjected to structural system reliability constraint....
متن کامل